English translation for "théorème d'accélération de gödel"
|
- gödel's speed-up theorem
- Example Sentences:
| 1. | In mathematics, Gödel's speed-up theorem, proved by Gödel (1936), shows that there are theorems whose proofs can be drastically shortened by working in more powerful axiomatic systems.
En logique mathématique, le théorème d'accélération de Gödel (ou théorème de speed-up), démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes légèrement plus puissant. |
- Similar Words：
- "théorème c" English translation, "théorème cap" English translation, "théorème central limite" English translation, "théorème d'abel (algèbre)" English translation, "théorème d'abel (analyse)" English translation, "théorème d'accélération linéaire" English translation, "théorème d'ado" English translation, "théorème d'akra-bazzi" English translation, "théorème d'al-kashi#géométrie hyperbolique" English translation
|
|
|
